Formal science - PDFSEARCH.IO - Document Search Engine

Formal science
Results: 4621

#	Item
961	Auto in Agda Programming proof search using reflection Pepijn Kokke and Wouter Swierstra Universiteit Utrecht pepijn.kokke@gmail Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2015-04-30 03:24:18 Type theory Functional languages Automated theorem proving Formal methods Theoretical computer science Agda Proof assistant Mathematical proof Dependent type Mathematics Logic Programming language theory
962	WP (Draft Manual) WP Plug-in (Draft) Manual Release 1.0 Loïc Correnson, Zaynah Dargaye, Anne Pacalet Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:55 Predicate transformer semantics Software Frama-C Hoare logic Lambert W function Automated theorem proving Formal methods Program logic Theoretical computer science
963	1 UC Berkeley Logic Group Philosophy Preliminary Syllabus 2013 Decision Theory: Paradoxes and Alternatives (Prof Lara Buchak) Many normative alternatives to classical decision theory have arisen in recent (and not-so-rec Add to Reading List Source URL: logic.berkeley.edu Language: English - Date: 2014-08-24 16:43:20 Formal sciences Philosophy of mathematics Statistical inference Control theory Decision theory Risk Rationality Expected utility hypothesis Bayesian probability Science Knowledge Statistics
964	CLARITY IN THE USAGE OF THE TERMS ONTOLOGY, TAXONOMY AND CLASSIFICATION Reinout van Rees Civil engineering informatics, Delft University of Technology Add to Reading List Source URL: reinout.vanrees.org Language: English - Date: 2009-05-07 15:31:57 Semantic Web Knowledge Information science Technical communication Knowledge representation Formal ontology Knowledge representation and reasoning Taxonomy Upper ontology Ontology Information Science
965	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.psu.ac.th Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
966	Learning Procedures for Autonomic Computing Tessa Lau, Daniel Oblinger, Lawrence Bergman, and Vittorio Castelli IBM T.J. Watson Research Center P.O. Box 704 Yorktown Heights, NY 10598 Add to Reading List Source URL: tlau.org Language: English - Date: 2003-04-29 11:11:13 Operating system Formal methods Algorithm Mathematical logic Theoretical computer science
967	A short course in analyzing next-generation sequencing data September 25, 2012 Keywords: bioinformatics, next generation sequencing, genomics. Add to Reading List Source URL: ged.msu.edu Language: English - Date: 2012-10-08 23:24:32 Bioinformatics Molecular biology Formal sciences DNA sequencing Computational biology Full genome sequencing Genomics Illumina RNA-Seq Biology Genetics Science
968	Models of Computation Jeff Erickson January 4, 2015 http://www.cs.illinois.edu/~jeffe/teaching/algorithms/ Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2015-01-04 17:28:55 Theoretical computer science Constructible universe Model theory String Μ operator Function Mathematics Formal languages Combinatorics on words
969	Fast Text Compression with Neural Networks Matthew V. Mahoney Florida Institute of Technology 150 W. University Blvd. Melbourne FL 32901 Add to Reading List Source URL: www.mattmahoney.net Language: English - Date: 2009-07-23 12:19:35 Science Information theory Computational neuroscience Lossless data compression Entropy Arithmetic coding Calgary Corpus Neural network Context mixing Data compression Information Formal sciences
970	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE